(0 20 15)(1 19 11)(2 17 4)(3 8 5)(6 9 7)(10 14 12)(13 18 16)
ALLOWS (11/8)-SEQUENCE
1: (0 3 15)
(0)(1 19 11)(2 17 4)(3 20 15 8 5)(6 9 7)(10 14 12)(13 18 16)
2: (1 19 11)
(0)(1)(2 17 4)(3 20 15 8 5)(6 9 7)(10 14 12)(11)(13 18 16)(19)
3: (2 17 4)
(0)(1)(2)(3 20 15 8 5)(4)(6 9 7)(10 14 12)(11)(13 18 16)(17)(19)
4: (8 20 15)
(0)(1)(2)(3 20 5)(4)(6 9 7)(8)(10 14 12)(11)(13 18 16)(15)(17)(19)